Última revisión de 15:33 27 dic 2012

¿Qué es?

No se ha añadido ninguna twiki todavía.

Adjetivo que deriva del griego ἀλήθεια, alétheia, y que se aplica a los enunciados de la lógica considerados como funciones veritativas o funciones de verdad. Se dice, por ejemplo, que el enunciado compuesto «P y Q» es función de verdad de los enunciados «P» y «Q» que lo componen, según la definición dada de la conjunción «y». «P y Q» es, por tanto, un enunciado alético-funcional, o un enunciado veritativo-funcional o, simplemente, una función de verdad. El adjetivo se aplica también a las modalidades de verdad, o modalidades aléticas.